Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
نویسندگان
چکیده
In this paper, we consider discrete-time continuous-space Piecewise Affine (PWA) systems with parameter uncertainties, and study temporal logic properties of their trajectories. Specifically, given a PWA system with polytopal parameter uncertainties, and a Linear Temporal Logic (LTL) formula over linear predicates in the states of the system, we attempt to find subsets of parameters guaranteeing the satisfaction of the formula by all trajectories of the system. We illustrate our method by applying it to a PWA model of a two-gene network.
منابع مشابه
7th Biannual Meeting on System and Control Theory
– We discuss a class of control problems for continuous time dynamical systems featuring synthesis of controllers to meet certain logic specifications. Such problems fall in the area of hybrid systems. Hybrid systems have been studied for some time; unfortunately the area has not delivered all that it promised: a theory of control synthesis has remained elusive. Some work has been done at the h...
متن کاملAn input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
This article presents an input–output simulation approach to controlling multi-affine systems for linear temporal logic (LTL) specifications, which consists of the following steps. First, the state space is partitioned into rectangles, each of which satisfies atomic LTL propositions. Then, we study the control of multi-affine systems on rectangles, including the control based on the exit sub-re...
متن کاملEnlarging Domain of Attraction for a Special Class of Continuous-time Quadratic Lyapunov Function Piecewise Affine Systems based on Discontinuous Piecewise
This paper presents a new approach to estimate and to enlarge the domain of attraction for a planar continuous-time piecewise affine system. Various continuous Lyapunov functions have been proposed to estimate and to enlarge the system’s domain of attraction. In the proposed method with a new vision and with the aids of a discontinuous piecewise quadratic Lyapunov function, the domain of attrac...
متن کاملOptimal Control of Mixed Logical Dynamical Systems with Long-Term Temporal Logic Specifications
We present a mathematical programming-based method for control of large a class of nonlinear systems subject to temporal logic task specifications. We consider Mixed Logical Dynamical (MLD) systems, which include linear hybrid automata, constrained linear systems, and piecewise affine systems. We specify tasks using a fragment of linear temporal logic (LTL) that allows both finiteand infinite-h...
متن کاملYip Formal Synthesis of Control and Communication Strategies for Teams of Unmannes Vehicles
The goal of this project is to develop theoretical frameworks and computational tools for synthesis of provably correct control and communication strategies for teams of autonomous vehicles from specifications given in rich, human-like language. Central to our approach are finite abstractions, which allow for the use of (adapted) temporal logics as specification languages, tools from formal ver...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008